package masml2jade;

import masml2jade.util.DutyRightProperty;

public class Right extends DutyRightProperty{

}
